The Dressmaker's Dummy

Eliminating Dummy Elimination

This paper is concerned with methods that automatically prove termination of term rewrite systems. The aim of dummy elimination, a method to prove termination introduced by Ferreira and Zantema, is to transform a given rewrite system into a rewrite system whose termination is easier to prove. We show that dummy elimination is subsumed by the more recent dependency pair method of Arts and Giesl....

Eliminating Dummy Elimination ?

DUMMY A package to find the canonical form of expressions involving dummy variables

The possibility to handle dummy variables and to manipulate dummy summations are important features in many applications. In particular, in theoretical physics, the possibility to represent complicated expressions concisely and to realize simplifications efficiently depend on both capabilities. However, when dummy variables are used, there are many more ways to express a given mathematical obje...

On the Minimum Dummy - Arc Problem

A precedence relation can be represented non-uniquely by an activity on arc (AoA) directed acyclic graph (dag). This paper deals with the NP-hard problem of constructing an AoA dag having the minimum number o f arcs among those that have the minimum number of nodes. We show how this problem can be reduced in polynomial time to the set-cover problem so that the known methods of solving the set-c...

Dummy variable (statistics) - Wikipedia, the free encyclopedia

In statistics and econometrics, particularly in regression analysis, a dummy variable (also known as an indicator variable) is one that takes the values 0 or 1 to indicate the absence or presence of some categorical effect that may be expected to shift the outcome.[1] For example, in econometric time series analysis, dummy variables may be used to indicate the occurrence of wars, or major strik...